Section: New Software and Platforms

PolyOrdo

Polynomial Scheduler

Functional Description

Computes a polynomial schedule for a sequential polyhedral program having no affine schedule. Uses algorithms for finding positive polynomials in semi-algebraic sets. Status: proof of concept software.

• Contact: Paul Feautrier